#undef  CONFIG_IPMI_HANDLER
